Die Allgemeine Gewerbe-Ordnung vom 17. Januar 1845 und deren praktische Ausführung, namentlich mit Rücksicht auf die Innungs-Verhältnisse Berlins